A framework for designing concurrent and recoverable abstract data types based on commutativity
نویسندگان
چکیده
In this paper, we try to focus the reader's interest on the problems that transactional systems have to resolve for taking advantage of commutativity in a serializable and recoverable way. Our framework is, (as others), based on the use of conditional commutativity on abstract date types. We present new features that have not been found in the literature hitherto, that both increase concurrency and simplify recovery.
منابع مشابه
Designing a Meta Model for Strategic Human Resource Development based on the CIIP Framework by Reviewing Previous Studies
This study tended to provide a comprehensive and systematic model for SHRD based on the CIIP model. To this mean, a targeted review of the definitions, frameworks and models of (SHRD) was carried out. The research method was qualitative meta-synthesis. For data collection, secondary data sources called previous documents were explored. The method of data analysis was a combination of quantitati...
متن کاملLimits of Commutativity on Abstract Data Types
We present some formal properties of (symmetrical) commutativity, the major criterion used in transactional systems, which allow us to fully understand its advantages and disadvantages. The main result is that commutativity is subject to the same limitation as compatibility for arbitrary objects. However, commutativity has also a number of attracting properties, one of which is related to recov...
متن کاملTuple-based abstract data types: full parallelism
Commutativity has the same inherent limitations as compatibility. Then, it is worth conceiving simple concurrency control techniques. We propose a restricted form of commutativity which increases parallelism without incurring a higher overhead than compatibility. Advantages of our proposition are: (1) commutativity of operations is determined at compile-time, (2) runtime checking is as efficien...
متن کاملResearch-Based Teaching and Learning within a Constructivist Framework: Designing a Phenomenologically-Based Model
To explain the process of research-based methods of teaching and learning based on the professional knowledge of educational experts, and identify the benchmarks in using such a method, 25 academics at Farhangiyaan University and Ministry of Education were interviewed. The data were used to answer two basic questions: What characterizes research-based teaching and learning, and based on...
متن کاملExplaining the theoretical framework and the components of research comprehensive approach and designing its general elements in the school curriculum
Abstract: An effective research requires the initialization of knowledge, positive affect and research action in the researcher as well as the initialization of research comprehensive attitude. The present study was conducted using descriptive-analytical method based on analyzing the concepts and re-processing the results of previous research. Based on this, theoretical and research background ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1003.4828 شماره
صفحات -
تاریخ انتشار 2010